Перевод: со всех языков на русский

с русского на все языки

С русского на:
Все языки
Со всех языков на:
Все языки
Английский
Русский

formally consistent theory

Толкование Перевод

1 formally consistent theory

Математика: формально непротиворечивая теория

Универсальный англо-русский словарь > formally consistent theory
2 formally consistent theory

формально непротиворечивая теория

Англо-русский словарь по исследованиям и ноу-хау > formally consistent theory
3 function

1) функция, действие || функционировать; действовать

- decision-making function
- essential functions - routine function - safety-related functions
2) функциональное назначение; роль

- auxiliary function
- circuit function - intrinsic function - metering function - primary function - robot function
- system function

3) функциональное подразделение ( предприятия)

- maintenance function
- planning function - service function - support function
4) функциональный узел ( машины)

- press function

5) матем. функциональная зависимость, функция

domain of a function — область определения функции, область изменения независимой переменной

function is periodic in — функция периодична по

function onto itself — отображение (функции) на себя

function vanishes — функция обращается в нуль

function with angular limit — функция с угловым пределом

function with vanishing derivative — функция с равной нулю производной

function without zeros — не обращающаяся в нуль функция

to be an explicit function of — зависеть явно от

to be an implicit function of — зависеть неявно от

- Abelian function

- absolute density function
- absolutely additive function - absolutely bounded function - absolutely continuous function - absolutely integrable function - absolutely monotone function - absolutely summable function - absolutely symmetric function
- abstract function

- accuracy function

- acidity function

- acyclic function

- additive random function

- advanced function

- affect function

- affine function

- algebraically definable function

- algebroid function

- almost bounded function
- almost complex function - almost continuous function - almost convex function - almost everywhere defined function - almost everywhere finite function - almost invariant function - almost periodic function - almost recursive function - almost separably-valued function - almost separating function - almost universal function
- alpha function

- alternating function

- ambiguous function

- analytically extended function
- analytically independent function - analytically representable function
- angle function

- antianalytic function

- antiholomorphic function

- antihyperbolic function

- antilinear function

- antiperiodic function

- antisymmetric function

- antitone function

- antitrigonometric function

- aperiodic function

- Appell function

- approximately continuous function
- approximately differentiable function
- arbitrary function

- arcus function

- area function

- arithmetical function

- arithmetically extensible function

- associated function

- asymmetric function

- asymptotic function

- asymptotical distribution function
- asymptotically differentiable function - asymptotically finite function - asymptotically uniformly optimal function
- atomic function

- attainability function

- autocovariance function

- autocovariance generating function

- automorphic function

- auxiliary function

- averaged function

- averaging function

- balayage function

- barrier function

- basis function

- behavioral function

- beta binomial function

- beta incomplete function

- biadditive function

- biaffine function

- bias function

- bicomplex function

- bicubic function

- biharmonic function

- biinvariant function

- bijective function

- bilinear function

- bimodal function

- bimultiplicative function

- binding function

- binomial distribution function

- binonlinear function

- biregular function

- biunique function

- bivariate function

- boundary characteristic function

- boundary characteristic function

- boundary function

- bounded above function
- bounded below function
- bounded function

- bracket function

- broad function

- broken-line function

- bulb function

- bump function

- canonical function

- canonically definable function

- capacity function

- carpeting function

- carrier function

- casino function

- causal function

- cellwise constant function
- cellwise continuous function
- centering function

- certain function

- chain function

- chance function

- chi-square function

- choice function

- chord function

- chromatic function

- circularly symmetric function
- circumferentially mean p-valent function
- class function

- close to convex function

- cluster function

- clutching function

- codimension function

- coefficient function

- coercive function

- cofinite function

- coherence function

- collapsing function

- color function

- combinatorial function

- combined function

- commutator function

- compact function

- compactly supported function

- compact-valued function

- comparative function
- comparison function - complementary error function
- complementary function

- complementary trigonometric function
- complete analytic function - completely additive function - completely computable function - completely monotone function - completely multiplicative function - completely productive function - completely subadditive function - completely symmetrical function - completely undefined function - complex hyperbolic function
- complex-valued function

- complicated function

- component function

- composite function

- computably ambiguous function

- concave-convex function

- concentrated function

- concentration function

- concordant function

- conditional power function
- conditional risk function
- cone function

- confluent function

- confluent hypergeometric function

- congruence function

- conical function

- conjugate function

- connecting function

- consistent function

- constant-preserving function

- constrained function

- constraint function

- constructive function

- constructively nonrecursive function

- consumption function

- content function

- contiguous function

- continuously differentiable function

- continuum function

- contracting function

- contraction function

- contrast transfer function

- convergent function

- converse function

- convex-concave function

- cosecant function

- cosine function

- cospectral function

- cost function

- cosuperharmonic function

- cotangent function

- countably additive function
- countably multiplicative function - countably valued function
- counting function

- course-of-value function

- covariance function
- covariant function
- cramp function

- created function

- creating function

- criterion function

- critical function

- crosscorrelation function

- cross-covariance function

- cross-variance function

- cumulant function

- cumulant generating function
- cumulative distribution function - cumulative frequency function
- cup function

- curvilinear function

- cuspidal function

- cyclically monotone function

- cyclometric function

- cylinder function

- decay function

- decoding function

- decomposable function

- decomposing function

- defect function
- deficiency function
- deficient function

- degenerate function

- delta function

- denumerably-valued function

- dependence function

- depletion function

- derived function

- descriptive function

- design function

- determinate function

- diagonal function

- diagonalization function

- dibeta function

- difference function

- differential function

- digamma function

- dilogarithmic function

- dimensional function

- dimensionless function

- directing function

- discontinuous function

- discrete function

- discriminant function

- disjoined function

- dispersion function

- dissipative function

- distance function

- disturbing function

- ditonic function

- divergence-free vector function

- divergent function

- divisor function

- dominant function

- donor function

- don't care function
- double limit function
- double-spectral function

- double-valued function

- doubly orthogonal function
- doubly periodic function - doubly recursive function
- dual function

- dyadic function

- effective function

- effectively calculable function
- effectively computable function - effectively constant function - effectively decidable function - effectively variable function
- effectiveness function

- efficiency function

- elementarily recursive function
- elementarily symmetric function
- ellipsoidal function

- elliptic cylinder function

- empirical function

- empty function

- encoding function

- endogeneous function

- entire function of finite type
- entire function of maximum type - entire function of mean type - entire function of potential type - entire function of zero type - entire rational function
- entropy function

- enumerating function

- enumeration function

- envelope function

- equal-ripple function

- equibounded function

- equilibrium function

- equivalence function

- essentially bounded function
- essentially increasing function - essentially integrable function - essentially real function - essentially smooth function
- estimable function

- estimating function

- everywhere continuous function
- everywhere differentiable function - everywhere smooth function
- excessive function

- excitation function

- exhaustion function

- expandable function
- expansible function
- expansion function

- expansive function

- expectation function

- expenditure function

- explicitly bounded function
- explicitly definable function - exponentially convex function - exponentially decreasing function - exponentially increasing function - exponentially multiplicative function - exponentially vanishing function
- extendable function

- extended function

- extensional function

- exterior function

- extremal function

- extremized function

- extremum function

- factor function

- factorable function

- factored function

- factorial function

- fatigue function

- feably oscillating function

- featureless function

- field function

- filter function

- filtration function

- final state function

- finitary function

- finite-dimensional function

- finitely additive function
- finitely mean valent function - finitely measurable function
- finite-path function

- fitted function

- flat function

- flow function

- force function

- forcing function

- forecast function

- formally ordered function

- fractional function

- frequency distribution function

- frequency function

- full function

- fully closed function

- function of a single variable
- function of appropriate behavior - function of bounded characteristic - function of bounded type - function of bounded variation - function of complex variable - function of exponential type - function of finite genus - function of finite variation - function of fractional order
- function of function

- function of high smoothness
- function of infinite type - function of integral order
- function of intervals

- function of matrix

- function of maximal growth
- function of maximal type - function of minimal type - function of mixed variables - function of normal type - function of number theory - function of one variable
- function of phase

- function of position

- function of random variable
- function of rapid descent - function of rapid growth - function of real variable
- function of set

- function of several complex variables

- function of singularities

- function of state

- function of support

- function of time

- function of transition

- function of two variables

- fundamental function

- fuzzy function

- gage function

- gage-like function

- game function

- general recursive function
- general universal function - geometric carrier function
- given function

- global defining function

- goniometric function

- grammatical function

- graph-valued function

- greatest-integer function

- group function

- group-reduction function

- growth function

- halo function

- harmonizable function

- height-gain function

- hemicylindrical function

- Herglotz function

- heuristic function

- higher function

- homographic function

- homology function

- homotopic function

- hyperanalytic function

- hyperarithmetical function

- hyperbolic cylinder function

- hypercomplex function

- hyperelliptic function

- hyperharmonic function

- hyperrank function

- hyperspherical function

- hypertranscendental function

- hypoanalytic function

- ideal function

- imaginary function

- immediate successor function
- implicitly definable function
- improper function

- impulse function

- inclusion function

- inclusive function

- incomplete beta function
- incomplete dibeta function - incomplete gamma function - incomplete tribeta function - incompletely defined function
- increment function

- indecomposable function

- indefinite function

- index function

- indicial function

- individual function

- induced function

- inductive function

- inductively definable function
- inductively defined function - inductively integrable function
- infinite function

- infinitely differentiable function
- infinitely divisible function - infinitely many-valued function
- infinitesimal function

- information function

- information-packing function

- initial function

- injective function

- inner function

- input function

- insolvency function

- integrable function

- integral function of mean type
- integral logarithmic function
- integrating function

- intensity function

- interior function

- intermediary function

- interpolating function

- interpolatory function

- interval function

- inverse hyperbolic function
- inverse trigonometric function - inverted beta function
- invertible function

- irrational function

- irreducible function

- irregular function

- isotone function

- iterated function

- iteration function
- iterative function - joint correlation function - joint density function
- kernel function

- kinked function

- knapsack function

- lacunary function

- lambda function

- lattice function

- Lauricella function

- left-continuous function

- left-invariant function

- left-invertible function

- lexical function

- lifting function

- likelihood function

- limit of function

- limitable function

- limiting function

- linear discriminant function

- linearized function

- linearly dependent function
- linearly separable function
- local function

- locally analytic function

- locally approximable function
- locally bounded function - locally constant function - locally holomorphic function - locally homogeneous function - locally integrable function - locally negligible function - locally regular function - locally summable function - logarithmic generating function - logarithmic integral function
- logarithmically concave function

- logarithmically convex function
- logarithmically infinite function - logarithmically plurisubharmonic function - logarithmically subharmonic function
- logarithmico-exponential function

- logical addition function

- logical function

- logical multiplication function

- logistic function

- log-likelihood function

- loss-of-utility function

- lower closed function

- lower function

- lower measurable function
- lower semicontinuous function
- majorizing function

- many-valued function

- mapping function

- marginal distribution function

- mathematical function

- matrix function

- matrix-convex function

- maximal function

- mean-value function

- measurable function

- measure function

- measure-limited function

- mechanically computable function

- member function

- meromorphic function

- mesh function

- metaharmonic function

- metapragmatic function

- metasemantic function

- metaspherical function

- minimal function

- minimizing function

- minimum function

- minority function

- mixing function

- modified function

- modular function

- molecular set function

- moment generating function

- moment-generating function

- monochromatic function

- monodromic function

- monogenic function

- monomial function

- monomially alternating function
- monotone non-decreasing function - monotone non-increasing function
- monotonic function

- multiaffine function

- multiconstrained function

- multidimensional function

- multiextremal function

- multilinear function

- multiplace function

- multiple valued function

- multiplicity function

- multiplier function

- multiply harmonic function
- multiply periodic function - multiply recursive function
- multithreshold function

- multivalent function

- multivalued function

- multivariable function

- multivariant function

- mutual covariance function

- n-ary function

- nearly continuous function
- negative definite function - negative infinite function
- negligible function

- never-decreasing function

- never-increasing function

- next-state function

- nice function

- n-linear function

- n-metacaloric function

- noise function

- nomographic function

- nonanalytic function

- nonanticipative random function

- nonatomic function

- nonbounded function

- nonconstant function

- nondecreasing function

- nondegenerate function

- nondifferentiable function

- nonelementary function

- nonharmonizable function

- nonincreasing function

- noniterated function

- nonlattice function

- nonmonotonic function

- nonnegative definite function

- nonnegative function

- nonpositive function

- nonrandom function

- nonrecursive function

- nonsymmetrical density function
- nontangentially bounded function
- nontrivial function

- nonvanishing function

- norm function

- normalizable function

- normalized coherence function
- normalized function - normed function - nowhere continuous function - nowhere differentiable function - nowhere monotonic function
- n-place function

- n-point function

- n-th order function
- n-times differentiable function - n-tuply periodic function
- null function

- number-theoretical function

- numeralwise decidable function
- numeralwise expressible function - numeralwise representable function - numerical function - numerically valued function - oblate spheroidal function
- observation function

- odd function

- omega function

- one-loop function

- one-parameter function

- one-periodic function

- one-place function

- one-sheeted function

- one-sided function

- one-step function

- one-valued function

- one-variable function

- open propositional function
- operating characteristic function
- operative function

- operator function

- optimal decision function
- optimal policy function
- optimizable function

- optimized function

- order function

- order of function

- order preserving function

- orderable function

- ordered function

- ordering function

- ordinal function

- orientation function

- original function

- orthonormal function

- oscillating function

- oscillatory function

- outcome function

- outer function

- p-adic function

- pair correlation function

- pairing function

- parabolical cylinder function
- parametrically definable function
- parametrization function

- parametrized function

- partially computable function

- partially differentiable function

- partially recursive function
- partially symmetric function
- partition function

- partition preserving function

- partitionable function

- patch function

- pattern function

- peaked function

- peakless function

- Pearcey function

- penalty function

- pentagamma function

- permanent function

- perturbation function

- phase function

- phi function

- picture function

- piecewise analytic function
- piecewise constant function - piecewise continuously differentiable function
- piecewise continuously differentiable function

- piecewise expanding function
- piecewise linear function - piecewise monotonic function - piecewise polynomial function - piecewise quadratic function - piecewise regular function - piecewise smooth function
- plotted function

- pluriharmonic function

- plurisubharmonic function

- plurisublinear function

- plurisuperharmonic function

- point spread function
- pointwise approximated function
- pointwise bounded function

- pointwise discontinuous function

- policy function

- polyanalytic function

- polydromic function

- polygamma function

- polygenic function

- polygonal function

- polyhedral function

- polymorphic function

- polynomial clutching function

- polynomial function

- polynomially bounded function

- portfolio function

- posinomial function

- positive definite function
- positive homogeneous function - positive infinite function - positive monotone function - positive monotonic function - positive semidefinite function - potentially calculable function - potentially recursive function - power series function
- predetermined function

- predicate function

- predicate preserving function

- predual function

- premeromorphic function

- prescribed function

- primal function

- primary function

- prime-divisor function

- primitively recursive function

- principal function

- probability density function
- probability generating function
- process function

- product function

- production function

- productive function

- profit function

- projection function

- projective function

- propagation function

- proximally continuous function

- proximity function

- pseudoanalytic function

- pseudoconcave function

- pseudoconjugate function

- pseudoconvex function

- pseudodifferentiable function

- pseudoelliptic function

- pseudoharmonic function

- pseudohyperanalytic function

- pseudolikelihood function

- pseudolinear function

- pseudoperiodic function

- pseudopotential function

- pseudoproper function

- pseudorandom function

- pure quadratic function

- quadratic function

- quadratically integrable function
- quadratically summable function
- quantile function

- quasiaffine function

- quasialgebraic function

- quasianalytic function

- quasibounded function

- quasiconcave function

- quasiconformal function

- quasicontinuous function

- quasiconvex function

- quasidifferentiable function

- quasidoubly periodic function

- quasielliptic function

- quasiexcessive function

- quasiexponential function

- quasiharmonic function

- quasihomogeneous function

- quasiinterpolating function

- quasimonotonic function

- quasiperiodic function

- quasipolynomial function

- quasiradial function

- quasirecursive function

- quasiseparable function

- quasismooth function

- quasistandard function

- quasistar function

- quasisummation function

- quasiuniformly continuous function

- quasiunimodal function

- quaternion function

- radially symmetric function

- ramification function

- ramified function

- randomized decision function
- rapidly damped function - rapidly decreasing function - rapidly oscillatory function
- ray function

- Rayleigh dissipation function

- real-definite function

- real-valued function

- recession function

- reciprocal function

- recover function

- rectangle function

- recursively calculable function
- recursively continuous function - recursively convergent function - recursively defined function - recursively differentiable function - recursively divergent function - recursively extensible function
- reduced function

- regression function

- regret function

- regularized function

- regularly varying function

- regulated function

- relation reserving function
- relative distribution function - relative frequency function
- remuneration function

- renewal function

- renormalized function

- repeatedly differentiable function

- representable function

- representative function
- representing function - reproducing kernel function - residual function - residue function
- resolutive function

- resolvent function

- restricted function

- restricting function

- retarded function

- retracting function

- ridge function

- Riemann zeta function

- right-continuous function

- right-invariant function

- roof function

- root-mean-square function

- rudimentary function

- ruin function

- ruled function

- saddle function

- saltus function

- sample distribution function

- sampling function

- sandwich function

- scalar analytical function
- scalarwise integrable function - scalarwise measurable function
- scedastic function

- scheme function

- schlicht function

- search function

- section of function

- sectionally continuous function
- sectionally smooth function
- selective function

- self-dual function

- self-indexing function

- self-reciprocal function

- semiarithmetical function

- semicoercive function

- semicontinuous function

- semicylindrical function

- semidefinite function

- semiintegrable function

- semiinvariant function

- semimodular function

- semimultiplicative function

- semiproductive function

- semispectral function

- semisymmetric function

- sentential function

- separably valued function

- separately continuous function

- separation function

- sequence function

- sequential function

- sequentially continuous function

- set-preserving function

- set-valued function

- shape function

- sharp function

- shifted function

- sifting function

- sigma function

- signaling function

- simple function

- simply measurable function
- simply periodic function
- single-humped function

- singly periodic function
- singly recursive function
- singular function

- singularity function

- sinusoidal function

- skew-symmetric function

- slowly decreasing function
- slowly increasing function - slowly oscillating function - slowly varying function - smoothly varying function - solid spherical harmonic function - solid zonal harmonic function
- source function

- sourcewise representable function

- space-dependent function

- space-time function

- spannable function

- spheroidal function

- spinor-valued function

- spline function

- square-integrable function

- square-sine function

- square-summable function

- stability function

- stable function

- starlike function

- star-shaped function

- stationary random function

- statistical function

- status function

- steadily decreasing function
- steadily increasing function
- stiff function

- stochastic function

- stochastic transition function
- stopped random function
- straight-line function

- stream function

- streamline function

- strength function

- stretch function

- strictly concave function
- strictly convex function - strictly decreasing function - strictly increasing function - strictly integrable function - strictly monotone function
- stroke function

- strongly continuous function
- strongly differentiable function - strongly holomorphic function - strongly integrable function - strongly measurable function - strongly plurisubharmonic function
- structure function

- subadditive function

- subdifferentiable function

- subintegral function

- subinvariant function

- submultiplicative function

- suboperative function

- suboptimized function

- subordinated function

- subparabolic function

- subregular function

- success function

- sufficiently differentiable function

- sum function

- summatory function

- superadditive function

- supercaloric function

- supercontinuous function

- supermedian function

- supermultiplicative function

- superparabolic function

- superregular function

- surface function

- surjective function

- switching function

- symbolic function

- symmetrizable function

- symmetrized function

- tabulated function

- tame function

- tangential function

- target function

- temperate function

- temperature function

- tempered function

- tensor function

- ternary function

- tesseral function

- tetrachoric function

- tetragamma function

- time-limited function

- time-varying function

- tissue function

- toroidal function

- torus function

- total function

- total recursive function
- totally additive function - totally continuous function - totally measurable function - totally multiplicative function - totally positive function
- totient function

- tower function

- trace function

- transferable function

- transfinite function

- transformation function

- transition probability function

- translation function

- translation invariant function

- transmission function

- trapezoidal function

- trend function

- trial function

- triangle function
- triangular function
- tribeta function

- trigamma function

- trilinear function

- true function

- truncated function

- truncation function

- twice differentiable function

- twistor function

- two-parameter function

- two-place function

- two-point function

- two-sided function

- typically real function

- ultradifferentiable function

- ultraspherical function

- unbounded function

- uncertainty function

- uncomputable function

- unconditionally summable function

- unconstrained function

- undecomposable function

- undefined function

- uneven function

- uniform function

- uniformizing function

- uniformly approximable function
- uniformly best decision function - uniformly bounded function - uniformly definable function - uniformly differentiable function - uniformly homotopic function - uniformly integrable function - uniformly limited function - uniformly measurable function - uniformly smooth function
- unimodular function

- uniquely nomographic function

- unisolvent function

- unit function

- unit impulse function
- unit step function - unitary divisor function
- univalent function

- univariate function

- universally measurable function

- unknown function

- unramified function

- upper closed function
- upper measurable function - upper semicontinuous function
- valuation function

- vector-valued function

- vertex function

- voting function

- weakly additive function
- weakly analytic function - weakly continuous function - weakly differentiable function - weakly holomorphic function - weakly measurable function - weakly singular function - weighted random function
- well-behaved function

- well-integrable function

- window function

- wrapping function

- wurzelfrei function

- zero function

- zonal spherical function

English-Russian scientific dictionary > function

См. также в других словарях:

ω-consistent theory — In mathematical logic, an ω consistent (or omega consistent, also called numerically segregative[1]) theory is a theory (collection of sentences) that is not only (syntactically) consistent (that is, does not prove a contradiction), but also… … Wikipedia
Consistent histories — Quantum mechanics Uncertainty principle … Wikipedia
Theory of everything — A theory of everything (TOE) is a putative theory of theoretical physics that fully explains and links together all known physical phenomena. Initially, the term was used with an ironic connotation to refer to various overgeneralized theories.… … Wikipedia
Theory of conjoint measurement — The theory of conjoint measurement (also known as conjoint measurement or additive conjoint measurement) is a general, formal theory of continuous quantity. It was independently discovered by the French economist Gerard Debreu (1960) and by the… … Wikipedia
String theory — This article is about the branch of theoretical physics. For other uses, see String theory (disambiguation). String theory … Wikipedia
Model theory — This article is about the mathematical discipline. For the informal notion in other parts of mathematics and science, see Mathematical model. In mathematics, model theory is the study of (classes of) mathematical structures (e.g. groups, fields,… … Wikipedia
General set theory — (GST) is George Boolos s (1998) name for a three axiom fragment of the canonical axiomatic set theory Z. GST is sufficient for all mathematics not requiring infinite sets, and is the weakest known set theory whose theorems include the Peano… … Wikipedia
Info-gap decision theory — is a non probabilistic decision theory that seeks to optimize robustness to failure – or opportuneness for windfall – under severe uncertainty,[1][2] in particular applying sensitivity analysis of the stability radius type[3] to perturbations in… … Wikipedia
Zermelo–Fraenkel set theory — Zermelo–Fraenkel set theory, with the axiom of choice, commonly abbreviated ZFC, is the standard form of axiomatic set theory and as such is the most common foundation of mathematics.ZFC consists of a single primitive ontological notion, that of… … Wikipedia
Order theory — For a topical guide to this subject, see Outline of order theory. Order theory is a branch of mathematics which investigates our intuitive notion of order using binary relations. It provides a formal framework for describing statements such as… … Wikipedia
probability theory — Math., Statistics. the theory of analyzing and making statements concerning the probability of the occurrence of uncertain events. Cf. probability (def. 4). [1830 40] * * * Branch of mathematics that deals with analysis of random events.… … Universalium

Словари и энциклопедии на Академике

Перевод: со всех языков на русский

formally consistent theory

См. также в других словарях:

Поделиться ссылкой на выделенное

Словари и энциклопедии на Академике

Перевод: со всех языков на русский

formally consistent theory

См. также в других словарях:

Поделиться ссылкой на выделенное

Прямая ссылка: